An Integrated V&V Environment for Critical Systems Development
نویسنده
چکیده
This paper is an introduction to the demonstration sessions for the Precise UML Development Environment (PrUDE). PrUDE is a software V&V platform that integrates in a cost-effective way various rigorous software analysis methodologies.
منابع مشابه
An integrated environment of S/W specification and V&V for safety-critical systems
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be performed throughout whole software life ...
متن کاملIntegrated Environmental Analysis using GIS for Rational Planning of Conservatory Management of Slopes Application in the Ouergha Basin (Morocco)
The objective of this work is the realization of a map spatialising proposals of management and planning of lands, with a view to their rational management within the framework of a sustainable development. It was based on a diagnosis of the natural environment that allowed the analysis and identification of constraints to the development of the watershed of Ouergha (North of MOROCCO). The meth...
متن کاملNuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant
Safety-critical systems are systems where it is essential that system operation is always safe [1]. Therefore, rigorous quality demonstration is important when developing software in safety-critical system. Generally, safety-critical software demands extremely high-confidence verification and validation (V&V) techniques. Additionally, software V&V should be performed in parallel with software d...
متن کاملTesting Measurement in Real -Time Reactive Systems
In the context of safety-critical systems, which are real-time reactive systems, testing process must be integrated with the software development process as a whole, not just with the end product. Consequently, measuring the efficiency of the testing process emerges as an important issue. To be accurate and meaningful, both the measurement and the components to be measured must be precisely des...
متن کاملAn integrated multi-criteria decision-making methodology based on type-2 fuzzy sets for selection among energy alternatives in Turkey
Energy is a critical factor to obtain a sustainable development for countries and governments. Selection of the most appropriate energy alternative is a completely critical and a complex decision making problem. In this paper, an integrated multi-criteria decision-making (MCDM) methodology based on type-2 fuzzy sets is proposed for selection among energy alternatives. Then a roadmap has been cr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001